1.
Proof In Alonzo Church's and Alan Turing's Mathematical Logic: Undecidability of First-Order...
by Ph.D Jonathan O Chimakonam
ISBN: 9781477286708
List Price: $16.95
2.
PROOF IN ALONZO CHURCH'S AND ALAN TURING'S MATHEMATICAL LOGIC: UNDECIDABILITY OF FIRST-ORDER...
by Jonathan O. Chimakonam (Ph.D)
ISBN: 9781477286692
List Price: $27.99